The Tia Maria Copper Mine by the Numbers